propositional logic syntax - German English Dictionary